$z$ != $f$($x$) $\Rightarrow$ $P$($a$;$z$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$ $\in$ dom($f$) $\Rightarrow$ $P$($x$;$f$($x$))